Skip to content

fix(deps): add coal/trimesh to dev extras#528

Merged
petercorke merged 3 commits into
mainfrom
fix/dev-extras-missing-coal
Jul 3, 2026
Merged

fix(deps): add coal/trimesh to dev extras#528
petercorke merged 3 commits into
mainfrom
fix/dev-extras-missing-coal

Conversation

@petercorke

Copy link
Copy Markdown
Owner

Summary

  • pyproject.toml had a collision = ["coal", "trimesh"] extras group, but dev never included it
  • CI's pip install .[dev] therefore never installs coal, so test_collision.py hard-fails (rather than skipping) on every CI run — invisible locally wherever coal happens to already be installed from earlier work
  • Add coal/trimesh to dev

Test plan

  • pip install -e ".[dev]" then pytest tests/test_collision.py -q — 64 passed

🤖 Generated with Claude Code

petercorke and others added 3 commits July 3, 2026 09:34
test_collision.py hard-fails (rather than skipping) when coal isn't
installed, and CI's `pip install .[dev]` never pulled it in — the
collision extras group existed but wasn't part of dev. Only visible
locally where coal happened to already be installed from earlier work.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
TEMPORARY, for CI validation only — revert before merging. See
refactor/c-extensions@6dcfc624 for the same change and rationale.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@petercorke petercorke merged commit 3bb5847 into main Jul 3, 2026
1 of 13 checks passed
@petercorke petercorke deleted the fix/dev-extras-missing-coal branch July 3, 2026 00:19
@github-actions github-actions Bot mentioned this pull request Jul 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant